منابع مشابه
Graph searching , elimination trees , and
The bandwidth minimization problem has a long history and a number of practical applications. In this paper we introduce a generalization of bandwidth to partially ordered layouts. We consider this generalization from two main viewpoints: graph searching and tree decompositions. The three graph parameters pathwidth, profile and bandwidth related to linear layouts can be defined by variants of g...
متن کاملCut-elimination and Redundancy-elimination by Resolution
Cut-elimination is one of the most important techniques in proof theory. Roughly speaking, eliminating cuts from a proof generates a new proof without lemmas, which essentially consists of the syntactic material of the proven theorem. Traditionally cutelimination served the purpose to show consistency of calculi and thus played a central role in metamathematics. In this traditional context the ...
متن کاملSearching Multimedia Databases by Content Searching Multimedia Databases by Content
Dedication To my wife Christina and my parents Sophia and Nikos.
متن کاملThe Elimination of Toluenediamine from Aqueous Solution by Reverse Osmosis
Toluene diamine (TDA) is a main carcinogenic aromatic pollutant in some industrial wastewater. In this study, the reverse osmosis with DSS-HR98PP as the membrane was employed for the removal of TDA in an aqueous environment. The Box–Behnken Design (BBD) of the experimentwas used to consider the effect of operational variables such as pressure, pH and the feed volu...
متن کاملSearching for Alpha-Glucosidase Inhibitory Activity in Hexane Extracts by some Plants from Kurdistan Province
Objective: Alpha-glucosidase, as a carbohydratase catalyses the liberation of alpha-glucose from the nonreducing end of some carbohydrates from foods in digestive tract. Consequently, retard absorption of glucose by the inhibition of carbohydrate hydrolyzing enzymes is one of the therapeutic approaches to decrease the postprandial hyperglycemia. Recently, a great deal of attention has been pai...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 1990
ISSN: 0167-6423
DOI: 10.1016/0167-6423(90)90022-6